Section: Partnerships and Cooperations

National initiatives

ANR DEFIS ParTout

The PARTOUT project (PARTOUT = PARallélisme parTOUT) is funded by the ANR Défis programme for 4 years, starting January 2009. The partners of this project are the teams Indes (coordinator), CNAM/Cédric , and LRI , Université d'Orsay.

ANR DEFIS PWD

The Pwd project (for “Programmation du Web diffus”) has been funded by the ANR Défis programme for 4 years, starting November 2009. The partners of this project are the teams Indes (coordinator), Lip6 at University Pierre et Marie Curie and Pps at University Denis Diderot.

MEALS

The MEALS project (Mobility between Europe and Argentina applying Logics to Systems), IRSES program, started October 1st (2011), and will end September 30th, 2015. The project goals cover three aspects of formal methods: specification (of both requirement properties and system behavior), verification, and synthesis. The Indes members are involved in the task of Security and Information Flow Properties (WP3). The partners in this task include University of Buenos Aires, University of Cordoba, Inria (together with Catuscia Palamidessi, Kostas Chatzikokolakis, Miguel Andrés) and University of Twente.

CIRIC

Indes participated in the proposal of the CIRIC project, a joint lab between Inria and Chile, that will start in 2012. Indes members are involved in the line: Internet Research and Development.